Dive into Systems
diveintosystems.org·50m·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·23h·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Handbook of Satisfiability (2021)
iospress.com·1d·
Discuss: Hacker News
🎲Branden Fitelsin
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·1d·
Discuss: Hacker News
🎲Branden Fitelsin
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·1d·
Discuss: Hacker News
🧬Computational Biology
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
betweentheprompts.com·2h·
Discuss: Hacker News
⚙Complex ststems
Flag this post
From Signals to Reliability: SLOs, Runbooks and Post-Mortems
fatihkoc.net·11h·
Discuss: Hacker News, r/devops
🌐Distributed Systems
Flag this post
Just Write Tests
theblackarrovv.github.io·8h·
Discuss: Hacker News
🦀Rust
Flag this post
Podcast: Lenore Blum: AI Consciousness Is Inevitable
prism-global.com·28m·
Discuss: Hacker News
⚙Complex ststems
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·1d·
Discuss: Hacker News
📊Streaming ML
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·1d·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·23h·
Discuss: Hacker News
📊Streaming ML
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·1d·
Discuss: Hacker News
📊Streaming ML
Flag this post
Principles of Epistemology (2025, essay)
alexpeek.org·1d·
Discuss: Hacker News
⚙Complex ststems
Flag this post
The Collapse of Centralized AI Discovery
aivojournal.org·10h·
Discuss: Hacker News
⚙Complex ststems
Flag this post
Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·23h·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Tutorials in Optomechanics
wp.optics.arizona.edu·12h·
Discuss: Hacker News
🔺Computational Geometry
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
github.com·3h·
Discuss: Hacker News
🔺Computational Geometry
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·1h·
Discuss: Substack
🦀Rust
Flag this post
How much disorder is there in a descending run?
morwenn.github.io·4h·
Discuss: Hacker News
🧬Computational Biology
Flag this post